@inproceedings{yang2019fault,
  title={Fault detectability analysis of switched affine systems with linear temporal logic constraints},
  author={Yang, Liren and Ozay, Necmiye},
  booktitle={Proceedings of the 58th IEEE Conference on Decision and Control},
  pages={5779--5786},
  year={2019},
  organization={IEEE}
}